Provenance for SPARQL queries

Determining trust of data available in the Semantic Web is fundamental for applications and users, in particular for linked open data obtained from SPARQL endpoints. There exist several proposals in the literature to annotate SPARQL query results with values from abstract models, adapting the seminal works on provenance for annotated relational databases. We provide an approach capable of providing provenance information for a large and significant fragment of SPARQL 1.1, including for the first time the major non-monotonic constructs under multiset semantics. The approach is based on the translation of SPARQL into relational queries over annotated relations with values of the most general m-semiring, and in this way also refuting a claim in the literature that the OPTIONAL construct of SPARQL cannot be captured appropriately with the known abstract models.Comment: 22 pages, extended version of the ISWC 2012 paper including proof

Cleaning data with Llunatic

Data cleaning (or data repairing) is considered a crucial problem in many database-related tasks. It consists in making a database consistent with respect to a given set of constraints. In recent years, repairing methods have been proposed for several classes of constraints. These methods, however, tend to hard-code the strategy to repair conflicting values and are specialized toward specific classes of constraints. In this paper, we develop a general chase-based repairing framework, referred to as Llunatic, in which repairs can be obtained for a large class of constraints and by using different strategies to select preferred values. The framework is based on an elegant formalization in terms of labeled instances and partially ordered preference labels. In this context, we revisit concepts such as upgrades, repairs and the chase. In Llunatic, various repairing strategies can be slotted in, without the need for changing the underlying implementation. Furthermore, Llunatic is the first data repairing system which is DBMS-based. We report experimental results that confirm its good scalability and show that various instantiations of the framework result in repairs of good quality

A Simulation Model Articulation of the REA Ontology

This paper demonstrates how the REA enterprise ontology can be used to construct simulation models for business processes, value chains and collaboration spaces in supply chains. These models support various high-level and operational management simulation applications, e.g. the analysis of enterprise sustainability and day-to-day planning. First, the basic constructs of the REA ontology and the ExSpect modelling language for simulation are introduced. Second, collaboration space, value chain and business process models and their conceptual dependencies are shown, using the ExSpect language. Third, an exhibit demonstrates the use of value chain models in predicting the financial performance of an enterprise

Molecular semiconductors and the Ioffe–Regel criterion: A terahertz study on band transport in DBTTT

Terahertz electromodulation spectroscopy provides insight into the physics of charge carrier transport in molecular semiconductors. The work focuses on thin-film devices of dibenzothiopheno[6,5-b:6′,5′-f]thieno[3,2-b]thiophene. Frequency-resolved data show a Drude-like response of the hole gas in the accumulation region. The temperature dependence of the mobilities follows a T1/2 power law. This indicates that the thermal mean free path of the charge carriers is restricted by disorder. Only a fraction of approximately 5% of the injected carriers fulfills the Ioffe–Regel criterion and participates in band transport.info:eu-repo/semantics/publishe

First-Order Provenance Games

We propose a new model of provenance, based on a game-theoretic approach to query evaluation. First, we study games G in their own right, and ask how to explain that a position x in G is won, lost, or drawn. The resulting notion of game provenance is closely related to winning strategies, and excludes from provenance all "bad moves", i.e., those which unnecessarily allow the opponent to improve the outcome of a play. In this way, the value of a position is determined by its game provenance. We then define provenance games by viewing the evaluation of a first-order query as a game between two players who argue whether a tuple is in the query answer. For RA+ queries, we show that game provenance is equivalent to the most general semiring of provenance polynomials N[X]. Variants of our game yield other known semirings. However, unlike semiring provenance, game provenance also provides a "built-in" way to handle negation and thus to answer why-not questions: In (provenance) games, the reason why x is not won, is the same as why x is lost or drawn (the latter is possible for games with draws). Since first-order provenance games are draw-free, they yield a new provenance model that combines how- and why-not provenance

High-resolution measurements of the exited states (n,pn), (n,dn) C-12 cross sections

Measurements of C12 cross sections for the excited states (n,p 0 ) up to (n,p 4 ) and (n,d 0 ), (n,d 1 ) have been carried out. The Van de Graaff neutron generator of the EC-JRC-IRMM laboratory has been used for these measurements. A very thin tritiated target (263 μg/cm 2 ) was employed with deuteron beams energies impinging on the target in the range 2.5–4.0 MeV. Neutrons in the range 18.9–20.7 MeV were produced with an intrinsic energy spread of 0.2–0.25% FWHM. With such narrow neutron energy spread, using a high energy resolution device such as a single crystal diamond detector, several peaks from the outgoing charged particles produced by the (n,p n ), (n,d n ) and also (n,α 0 ) reactions appear in the pulse height spectrum. The peaks can be identified using the reaction Q-values. The diamond detector used for these measurements has shown an intrinsic energy resolution lower than 0.9% FWHM. The analysis of the peaks has permitted to derive the partial carbon reaction cross sections for several excited states. The results are presented in this paper with the associated uncertainties and they are compared with different versions of TENDL compilation when these data are available (e.g. versions 2009, 2010, 2011 and 2015) and also with experimental results available in the EXFOR database

A Markov Chain Approach To Reconstruction Of Long Haplotypes

Haplotypes are important for association based gene mapping, but there are no practical laboratory methods for obtaining them directly from DNA samples. We propose simple Markov models for reconstruction of haplotypes for a given sample of multilocus genotypes. The models are aimed specifically for long marker maps, where linkage disequilibrium between markers may vary and be relatively weak. Such maps are ultimately used in chromosome or genome-wide association studies. Haplotyp

First use of single-crystal diamonds as fission-fragment detector

Single crystal chemical vapor deposited diamond (sCVD) was investigated for its ability to act as Fission fragment detector. In particular we investigated timing and energy resolution for application in a simultaneous time and energy measurement to determine the mass of the detected fission fragment. Previous tests have shown that poly crystalline chemical vapor deposited (pCVD) diamonds provide sufficient timing resolution, but their poor energy resolution did not allow complete separation between very low energy fission fragments, alpha-particles and noise. Our present investigations prove artificial sCVD diamonds to show similar timing resolution as pCVD diamonds close to 100 ps. Improved pulse height resolution allows the unequivocal separation of fission fragments, and the detection efficiency reaches 100%, but remains with about a few percent behind requirements for fragment mass identification. With high-speed digital electronics a timing resolution well below 100 ps is possible. However, the strongly varying quality of the presently available diamond material does not allow application on a sufficiently large scale within reasonable investments

Neural tube defect diagnosis and outcomes at a tertiary South African hospital with intensive case ascertainment

Background. Neural tube defects (NTDs) are an important category of birth defect, but surveillance remains inadequate in South Africa.Objectives. To assess the identification of NTDs at a tertiary hospital using a range of prenatal, perinatal and postnatal data sources, and to estimate the impact of prenatal diagnosis and birth prevalence for the referral area.Methods. Cases of anencephaly, encephalocele and spina bifida (SB) in a 6-year period were retrospectively identified from 5 data sources covering prenatal, perinatal and postnatal care. These were cross-correlated to avoid duplicate entries and to determine the contribution of different data sources. Details of prenatal diagnosis and termination of pregnancy (TOP) were obtained for 10 years, and birth prevalence over 2 years.Results. During a 6-year period 195 NTDs were identified at a Western Cape Province tertiary hospital. These included 59 (30%) cases of anencephaly, 28 (14%) of encephalocele and 108 (55%) of SB. The majority of NTDs (71%) were detected prenatally, although SB was less commonly diagnosed prenatally than cranial defects (56% v. 88%; p<0.001). Of SB cases ascertained pre- or postnatally, 57% of patients were born alive and 50% discharged alive, but 72% of survivors had not been diagnosed prenatally. Women receiving prenatal diagnosis of any type of NTD before 24 weeks’ gestation were nearly always offered TOP, and the majority accepted termination after non-directive counselling. For SB, later prenatal diagnosis was associated with much lower termination rates because the option was less often offered (51% v. 100%; p<0.001), and perhaps less often accepted (57% v. 78%; p=0.06). The estimated NTD birth prevalence for the referral area was 0.76 - 0.80 per 1 000 live births, but perhaps up to 1.18 per 1 000 when considering under-referral of lethal cranial lesions from rural areas.Conclusions. A substantial number of NTDs can be ascertained from a tertiary hospital environment if multiple data sources are used, even though adding data from the Perinatal Problem Identification Program for outlying health facilities increases detection of lethal defects. Hospital-based surveillance can be considered, especially for SB. Prenatal diagnosis was fairly common and pregnancy termination was often offered and accepted if detected before 24 weeks’ gestation. A regional prenatal ultrasound programme, predominantly based in primary care but with ready access to a tertiary centre, can be quite effective, although limited or delayed access to prenatal diagnosis must be addressed